(g,b,p,z. when b. p)  g:IMonoid|g|(True)|g| 

latex

Up	groups 1
Definitions of Statement	IMonoid
Definitions	t  T, , x:A. B(x), T, IMonoid
Lemmas	imon wf, bool wf, grp car wf, true wf, squash wf, mon when wf